Editorial: Formal methods and testing
نویسندگان
چکیده
منابع مشابه
Guest Editorial: Formal Methods
We’d better start by defining terms, since the phrase Formal Methods (FM) can have a wide range of connotations in Computer Science. For the purpose of this Special Theme Issue, ‘Formal Methods’ means the use of mathematical techniques for the construction of computing systems, with a particular focus on the construction of industrial scale systems. The focus on large systems is significant. Th...
متن کاملFormal Methods Guest Editorial
This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given.
متن کاملAutomatic Testing with Formal Methods
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which auto...
متن کاملWorking together : Formal Methods and Testing ∗
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding the ways in which formal methods and testing complement one another.
متن کاملFormal Methods and Conformance Testing or
In this paper, we will show the correlation between the notion of implementation relations known from formal methods and ideas of conformance testing. We will show that the implementation relations realized through the practical testing of systems come from a family of parameterized implementation relations. We will also show that for glass box testing, implementation relations parameterized by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Testing, Verification and Reliability
سال: 2002
ISSN: 0960-0833,1099-1689
DOI: 10.1002/stvr.249